MIT Computer Science and Artificial Intelligence Laboratory - PDFSEARCH.IO - Document Search Engine

MIT Computer Science and Artificial Intelligence Laboratory
Results: 422

#	Item
101	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Mathematics Rules of inference Propositional calculus Unsatisfiable core Resolution Conjunctive normal form SQL Automated theorem proving Logic Mathematical logic
102	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming
103	An FPGA architecture for DRAM-based systolic computations Norman Margolus Boston University Center for Computational Science and MIT Artificial Intelligence Laboratory Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:57 Computer architecture Central processing unit Dynamic random-access memory Digital electronics Field-programmable gate array Cell Parallel computing Microprocessor CPU cache Computer hardware Computer memory Electronic engineering
104	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRApril 16, 2009 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2009-11-09 18:42:18 Women in technology Computer networking Byzantine fault tolerance Node Software engineering Computing Computer science Barbara Jane Liskov
105	A “Sum of Square Roots” (SSR) Pseudorandom Sampling Method For Election Audits Ronald L. Rivest Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 Add to Reading List Source URL: people.csail.mit.edu Language: English Complex analysis Pi Approximations of π Pseudorandomness Dice Methods of computing square roots Arbitrary-precision arithmetic Calculator Square root Mathematics Computer arithmetic Randomness
106	Asia Pacific Mathematics Newsletter John McCarthy – Father of Artificial Intelligence V Rajaraman Introduction Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2014-09-09 23:03:55 Lisp programming language Turing Award laureates Environmental skepticism John McCarthy Marvin Minsky MIT Computer Science and Artificial Intelligence Laboratory Nathaniel Rochester Lisp Commonsense reasoning Artificial intelligence Science Computing
107	BIBLIOGRAPHY List of Sources Aboba, Bernard. The Online User’s Encyclopedia: Bulletin Boards and Beyond. Addison-Wesley. Reading, MassachusettsAbramson, Jeffrey B. “Electronic Town Meetings: Proposals for Dem Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2012-05-21 22:14:56 J. C. R. Licklider Unix ARPANET Fernando J. Corbató MIT Computer Science and Artificial Intelligence Laboratory Multics Computing System software Computer architecture
108	αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-06-06 14:09:52 Compiler construction Subroutines Alloy Z notation Ruby Monad Map Closure Static single assignment form Software engineering Computing Computer programming
109	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
110	Collaborating with The Boston Home Presented by: William Li Sachi Hemachandra Professor Nick Roy (Project Lead) Add to Reading List Source URL: rvsn.csail.mit.edu Language: English - Date: 2010-05-05 19:59:44 Wheelchairs MIT Computer Science and Artificial Intelligence Laboratory Motorized wheelchair

UPDATE